Symbolic-numeric computation